Constraints Inference

Typically, Constraints Knowledge is used in applications for capturing user requirements for complex products and services. Constraints are defined on the valid combinations of attributes, features and options that are selectable by the user. In Knowledge Builder these constraints are defined using validation (decision) trees and validation (cases) tables.

Constraints knowledge is executed by the runtime engine while the user is selecting the required attributes, features and functionalities from a dialog. As the user makes his/her selection from the values of an attribute, the engine will execute the constraints and automatically remove from selection all the values of other attributes that conflict with the selections already made. This pre-emptive strategy will ensure that the user only selects valid combinations of features and options, and also gives the user a feel for valid combinations of features.

Building Constraints Knowledge

Constraint Trees

Constraint Procedure

Constraint Map

Object Control Properties

Instance Property Settings

Using Inference from Pattern Matching

Using Constraints with Instance Properties

Constrain